Knihy od autora Christine Paulin-Mohring

Zobrazeno 1 – 4 z 4 výsledků

1. 

   Mathematics of Program Construction

   Philippe Audebaud, Christine Paulin-Mohring | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   Types for Proofs and Programs

   Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit
3. 

   Types for Proofs and Programs

   Eduardo Gimenez, Christine Paulin-Mohring | Springer, Berlin, 1996

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
4. 

   Interactive Theorem Proving

   Sandrine Blazy, Christine Paulin-Mohring, David Pichardie | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Poskytujeme slevy pro studenty, učitele a držitele ISIC. Zjistěte více